Nuprl Definition : suptype
13,42
postcript
pdf
suptype(
S
;
T
) ==
T
S
latex
Up
int
1
,
int
1
Definitions
S
T
origin
S S T